Open neighborhood of a subset ↩

Metadata 
aliases: []
shorthands: {}
created: 2022-01-13 11:27:20
modified: 2022-01-13 11:28:25

Let be a topological space.
An open neighborhood of a subset of the topological space is an open set such that .